Leibniz iki çeşit doğruyu birbirinden ayırır. Bunlardan biri aklın doğruları (vérités de raison), diğeri ise olgunun doğrularıdır (vérités de fait). Leibniz’e göre, çelişmezlik ilkesini kendisine temel alan aklın doğruları, başka türlü düşünülemeyecek, düşünülmeye çalışılırsa çelişkiye düşülecek olan ve kökleri salt akılda bulunan doğrulardır.